_require local "./021_local3.smi"
val y : int
